منابع مشابه
Type-token representations in conceptual representation
Concepts of kinds of things (e.g. DOG), have the dual function of specifying how to think about indefinitely many things as well as providing the means for thinking about a single abstract kind which is constituted by indefinitely many instances. In this talk, I sketch a theory of conceptual representation that places this dual function of concepts at its core. The theory is shown to provide a ...
متن کاملConceptual Design of a Hybrid-Type Elliptically Polarizing Undulator*
There are several means of generating circularly polarized light. The use of an electromagnetic helical device is very popular for the experiments using lower photon energy radiation. An advantage of the electromagnetic device is the capability of fast switching of polarization. However, due to its complicated structure and a limited maximum current, construction of a shorter period (< 100 mm) ...
متن کاملTowards a Conceptual Structure based on Type Theory
Since a conceptual structure is a typed system it is worthwhile to investigate how a type theory can serve as a basis to reason about concepts and relations. In this article, we look at this issue from a proof-theoretical perspective using the constructive (or intuitionistic) logic and the Curry-Howard correspondence. The resulting constructive type theory introduces Dependent Record Types (DRT...
متن کاملType I interferon–mediated monogenic autoinflammation: The type I interferonopathies, a conceptual overview
Type I interferon is a potent substance. As such, the induction, transmission, and resolution of the type I interferon-mediated immune response are tightly regulated. As defined, the type I interferonopathies represent discrete examples of a disturbance of the homeostatic control of this system caused by Mendelian mutations. Considering the complexity of the interferon response, the identificat...
متن کاملConceptual Modeling Using Conceptual Graphs
The next generation of task support systems aims at providing the relevant knowledge to knowledge-dependent activities, reducing the effort required to find or infer this knowledge from the data. In order to exploit knowledge associated with (or embedded in) databases and to migrate from data to knowledge management environments, conceptual modeling languages must offer more expressiveness than...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artifact
سال: 2014
ISSN: 1749-3471,1749-3463
DOI: 10.14434/artifact.v3i1.5165